A unified theory of shared memory consistency
نویسندگان
چکیده
منابع مشابه
Defining Hybrid Distributed Shared Memory Consistency Models on Unified Framework
DSM (Distributed Shared Memory) system combines the advantages of shared memory parallel computer and distributed system. The value of DSM is depended upon the performance of MCM (Memory consistency Model). Lots of Consistency Model are defined by a wide variety of source including architecture system, application programmer etc. But basically it is combined in two types: uniform model and hybr...
متن کاملDefining Uniform Distributed Shared Memory Consistency Models on Unified Framework
Distributed Shared Memory (DSM) is an architectural approach that allows processors to support a single shared address space that is implemented with physically distributed memory. The consistency model of a DSM system specifies the ordering constraints on concurrent memory accesses by multiple processors. Lots of Consistency Model are defined by a wide variety of source including architecture ...
متن کاملTowards a Unified Verification Theory for Various Memory Consistency Models
Memory consistency models (e.g., Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Ordering [7]) specify behaviors of shared memories that are simultaneously accessed by multiple threads. For example, consider the program (x = 1; y = 1) ∥ (r0 = y; r1 = x) that consists of two threads where ∥ denotes a parallel composition, r0 and r1 are thread-local variables, x and y...
متن کاملShared Memory Consistency Models: A Tutorial
Parallel systems that support the shared memory abstraction are becoming widely accepted in many areas of computing. Writing correct and efficient programs for such systems requires a formal specification of memory semantics, called a memory consistency model. The most intuitive model---sequential consistency---greatly restricts the use of many performance optimizations commonly used by uniproc...
متن کاملMultiwriter Consistency Conditions for Shared Memory Registers
Regularity is a shared memory consistency condition that has received considerable attention. Lamport’s original definition of regularity assumed a single-writer model, however, and is not well defined when the shared register may have multiple writers. In this paper, we consider four possible definitions of multi-writer regularity. The definitions are motivated by variations on a quorum-based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the ACM
سال: 2004
ISSN: 0004-5411,1557-735X
DOI: 10.1145/1017460.1017464